منابع مشابه
Continuity Spaces: Reconciling Domains and Metric Spaces
We use continuity spaces, a common refinement of posets and metric spaces, to develop a general theory of semantic domains which includes metric spaces and domains of cpo’s as special cases and provides the appropriate tools for producing new examples which may be suitable for modeling language constructs that occur in concurrent and probabilistic programming. Our proposal for a general notion ...
متن کاملCharacterization of causal simplicity and causal continuity through the continuity of the Lorentzian distance
A classical result in Lorentzian geometry states that a strongly causal spacetime is globally hyperbolic if and only if the Lorentzian distance is finite valued for every metric choice in the conformal class. It is proven here that a non-total imprisoning spacetime is causally simple if and only if for every metric choice in the conformal class the Lorentzian distance is continuous wherever it ...
متن کاملMathematische Zeitschrift Continuity of eigenvalues of subordinate processes in domains
Let X = {Xt, t ≥ 0} be a symmetric Markov process in a state space E and D an open set of E. Let S = {S t , t ≥ 0} be a subordinator with Laplace exponent φn and S = {St , t ≥ 0} a subordinator with Laplace exponent φ. Suppose that X is independent of S and S. In this paper we consider the subordinate processes Xn := {X S (n) t , t ≥ 0} and X := {XSt , t ≥ 0}, and their subprocesses Xn and X ki...
متن کاملOn the Continuity of Stochastic Control Problems on Bounded Domains
We determine a weaker sufficient condition than that of Theorem 5.2.1 in Fleming and Soner (2006) for the continuity of the value functions of stochastic control problems on a bounded domains.
متن کاملContinuity of the SLE trace in simply connected domains
We prove that the SLEκ trace in any simply connected domain G is continuous (except possibly near its endpoints) if κ < 8. We also prove an SLE analog of Makarov’s Theorem about the support of harmonic measure.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2021
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2021.01.038